perm filename CIRCUM[F85,JMC] blob sn#806952 filedate 1985-10-05 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	circum[f85,jmc]		circumscription with individual parameters
C00003 ENDMK
CāŠ—;
circum[f85,jmc]		circumscription with individual parameters

It looks like Vladimir's new circumscription in the situation world
is special case of a small generalization in which individuals
are allowed to be parameters.  How we can make his special form
come from axioms plus a standard way of circumscribing isn't
yet clear.